Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
721	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
722	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
723	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
724	Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Artificial intelligence Description logic Information science First-order logic FO Lambda calculus Function Knowledge representation and reasoning Mathematical logic Logic Mathematics
725	A New Mapping from ALCI to ALC Yu Ding and Volker Haarslev and Jiewen Wu Concordia University, Montreal, Quebec, Canada {ding yu\|haarslev\|w jiewen}@cse.concordia.ca 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Philosophical logic Abox Tbox Description logic Hybrid logic Logic Non-classical logic Ontology
726	PHIL V3411/ G4415 • INTRODUCTION TO SYMBOLIC LOGIC • FALL 2009, MW 2:40–3:55pm, SCH 614 Achille Varzi • 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 • office hours: T 2:30–4:30pm ➤ GEN Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-22 09:57:47 Classical logic Philosophical logic Model theory First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic
727	Speeding up Approximation with nicer Concepts Anni-Yasmin Turhan? and Yusri Bong Theoretical Computer Science, TU Dresden, Germany {turhan, bong}@tcs.inf.tu-dresden.de Abstract. Concept approximation is an inference serv Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information science Non-classical logic Approximation algorithm Logarithm Concepts Anti de Sitter space Science Logic Mathematics Artificial intelligence Description logic
728	Non-pdontised ranked belief change Aditya Ghose Decision Systems Laboratory Department of Information Systems University of Wollongong Wollongong, NSW 2522, Australia Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Binary operations Non-classical logic Belief revision Entailment Modal logic Consistency Epistemology If and only if Multiset Logic Philosophical logic Mathematics
729	A Possibilistic Extension of Description Logics Guilin Qi1 , Jeff Z. Pan2 , and Qiu Ji1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematics Possibility theory Interpretation Modal logic Description logic Constructible universe Fuzzy logic Function Probabilistic logic Logic Mathematical logic Non-classical logic
730	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics ? Yue Ma1,2 , Guilin Qi2 , Pascal Hitzler2 , and Zuoquan Lin1 1 Department of Information Science, Peking University, China Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Technical communication Knowledge representation Ontology Entailment Proj construction Description logic Many-valued logic Logic Science Philosophical logic

UPDATE